Verified Software. Theories, Tools, and Experiments

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2016 Utgivningsland okänt / Ej specificerat